Dict(
	[12, 9, 13, 5, 13, 1, 1, 10, 1, 1] => QQFieldElem[9//128, 0, 0, 0])